Congruence Subgroups of the Automorphism Group of a Free Group
نویسنده
چکیده
Let n ≥ 2 and Fn be the free group of rank n. Its automorphism group Aut(Fn) has a well-known surjective linear representation ρ : Aut(Fn) −→ Aut(Fn/F ′ n) = GLn(Z) where F ′ n denotes the commutator subgroup of Fn. By Aut (Fn) := ρ(SLn(Z)) we denote the special automorphism group of Fn. For an epimorphism π : Fn → G of Fn onto a finite group G we call Γ(G, π) := {φ ∈ Aut(Fn) | πφ = π} the standard congruence subgroup of Aut(Fn) associated to G and π. These groups are the objects of our study, where we mainly focus on the case n = 2. Our most important results are the following. We fully describe the abelianization of Γ(G, π) ≤ Aut(F2) for abelian and dihedral groups G. We also show that standard congruence subgroups of Aut(F2) associated to dihedral groups provide a family of subgroups of Aut(F2) of increasing finite index while each is generated by four elements. This implies that finite index subgroups of Aut(F2) cannot be written as free products. Furthermore, we prove that standard congruence subgroups of Aut(F2) associated to finite non-perfect groups have infinite abelianization. We are also interested in the images of standard congruence subgroups of Aut(F2) under the representation ρ. For these we show that ρ(Γ(G, π)) ≤ SL2(Z) is a congruence subgroup, i.e., it contains a group of the form ker(SL2(Z) → SL2(Z/mZ)), whenever G is a finite metacyclic group. In the last chapter we discuss some open problems on standard congruence subgroups of Aut(F2) and give suggestions for further research.
منابع مشابه
Geometry for palindromic automorphism groups of free groups
We examine the palindromic automorphism group ΠA(Fn) of a free group Fn, a group first defined by Collins in [5] which is related to hyperelliptic involutions of mapping class groups, congruence subgroups of SLn(Z), and symmetric automorphism groups of free groups. Cohomological properties of the group are explored by looking at a contractible space on which ΠA(Fn) acts properly with finite quo...
متن کاملON THE ABELIANIZATION OF CONGRUENCE SUBGROUPS OF Aut(F2)
Let Fn be the free group of rank n and let Aut +(Fn) be its special automorphism group. For an epimorphism π : Fn → G of the free group Fn onto a finite group G we call Γ (G, π) = {φ ∈ Aut+(Fn) | πφ = π} the standard congruence subgroup of Aut+(Fn) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ(G, π) for finite abelian groups G. Moreover, we show that if G is...
متن کاملCongruence subgroups of the minimal covolume arithmetic Kleinian group
We identify the normal subgroups of the orientation preserving subgroup [3, 5, 3] of the Coxeter group [3, 5, 3], with the factor group isomorphic to PSL2(Fq) with particular congruence subgroups of an arithmetic subgroup of PSL2(C) derived from a quaternion algebra over a quartic field. 1 Motivation – Hurwitz groups and HurwitzMacbeath surfaces It is a well known fact that up to isomorphy, the...
متن کاملRepresentation stability and finite linear groups
We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes– Schwartz Artinian conjecture in the generic representation theory of finite fields, very general homological stability theorems with t...
متن کاملThe Abelianization of the Congruence Ia-automorphism Group of a Free Group
Let Fn be a free group of rank n. An automorphism of Fn is called an IA-automorphism if it trivially acts on the abelianization H of Fn. We denote by IAn the group of IA-automorphisms and call it the IA-automorphism group of Fn. For any integer d ≥ 2, let IAn,d be the group of automorphisms of Fn which trivially acts on H⊗ZZ/dZ. We call IAn,d the congruence IA-automorphism group of Fn of level ...
متن کامل